Nuprl Definition : can-apply
11,40
postcript
pdf
can-apply(
f
;
x
) == isl(
f
(
x
))
latex
Definitions
isl(
x
)
,
f
(
a
)
FDL editor aliases
can-apply
origin